BUFFET Jacky, avril 2000 - Industrialisation et développement au Brésil, 1500 - 2000.

Francis Klay N ̊ 3921 Avril 2000

On a case study, we present a new approach for verifying cryptographic protocols, based on rewriting and on tree automata techniques. Protocols are operationally described using Term Rewriting Systems and the initial set of communication requests is described by a tree automaton. Starting from these two representations, we automatically compute an over-approximation of the set of exchanged mess...

Lyon et ses pauvres au moyen-âge (1350–1500)

NICOLE GONTHIER, Lyon et ses pauvres au moyen-age (1350-1500), Lyons, Editions L'Hermes, 1978, 8vo, pp. 271, illus., F.5 1.00 (paperback). This study is inspired by a desire to reveal those who have been "hidden from history" using whatever documents are available for the period. Relying heavily on wills, church archives, and fiscal documents, Gonthier has skilfully reconstructed the changing m...

Développement et validation d'architectures dynamiques

Le Développement Mental et L'Intelligence

Le Dcveloppement Mental ct L'Intelligence. By Henri Pieron. Felix Alcan, Paris, 1929, XII+ 95 pp. This small volume includes four lectures presented by Pieron at the University of Barcelona, embodying a sketchy presentation of the highlights of mental development and of problems of mental measurement. The first lecture is devoted to a discussion of stages of mental development, starting with a ...

Pratique de l’échocardiographie transœsophagienne au Burkina Faso: analyse situationnelle et perspectives de développement

Introduction: l'échocardiographie transœsophagienne (ETO) est une technique relativement récente mais elle est devenue un complément indispensable à l'écho Doppler cardiaque transthoracique dans certaines pathologies. Elle constitue encore un luxe dans certains pays en développement. Ce travail avait pour objectif de faire l'état des lieux de la réalisation de l'ETO dans notre pays. Méthodes: n...